<HTML><HEAD><TITLE>vs_all_violated(+VS, -Vars)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(tentative)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>vs_all_violated(+VS, -Vars)</H1>
Retrieve all violated variables from a varset
<DL>
<DT><EM>VS</EM></DT>
<DD>A varset
</DD>
<DT><EM>Vars</EM></DT>
<DD>A list of tentative variables (output)
</DD>
</DL>
<H2>Description</H2>

	Retrieve all variables from a varset which have nonzero violation
	counts.
    
<H3>Modes and Determinism</H3><UL>
<LI>vs_all_violated(+, -) is det
</UL>
<H2>Examples</H2>
<PRE>
    ?- Vars=[A,B,C], tent_set(Vars, [1,2,3]), vs_create(Vars, VS),
       var_inc_violations(B, 1), vs_all_violated(VS, VSVars).
    Vars = [A{1 -&gt; 0}, B{2 -&gt; 1}, C{3 -&gt; 0}]
    VS = ...
    VSVars = [B{2 -&gt; 1}]
    Yes (0.00s cpu)
    </PRE>
<H2>See Also</H2>
<A HREF="../../lib/tentative/vs_random_violated-2.html">vs_random_violated / 2</A>, <A HREF="../../lib/tentative/vs_violated-2.html">vs_violated / 2</A>, <A HREF="../../lib/tentative/vs_all_violated_index-2.html">vs_all_violated_index / 2</A>
</BODY></HTML>
